O. Strichman: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

Learning general constraints in CSP

Veksler, Michael, Strichman, Ofer

Journal:

Artificial Intelligence

Year:

2016

Language:

english

File:

PDF, 605 KB

english, 2016

2

Three optimizations for Assume–Guarantee reasoning with L*

Sagar Chaki, Ofer Strichman

Journal:

Formal Methods in System Design

Year:

2008

Language:

english

File:

PDF, 502 KB

english, 2008

3

Efficient Verification of Sequential and Concurrent C Programs

S. Chaki, E. Clarke, A. Groce, J. Ouaknine, O. Strichman, K. Yorav

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 627 KB

english, 2004

4

[Lecture Notes in Computer Science] Hardware and Software: Verification and Testing Volume 10629 || ACAT: A Novel Machine-Learning-Based Tool for Automating Android Application Testing

Strichman, Ofer, Tzoref-Brill, Rachel

Year:

2017

Language:

english

File:

PDF, 482 KB

english, 2017

5

Near-Optimal Course Scheduling at the Technion

Strichman, Ofer

Journal:

Year:

2017

Language:

english

File:

PDF, 992 KB

english, 2017

6

Preface

Armin Biere, Ofer Strichman

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 60 KB

english, 2005

7

Preface

Armin Biere, Ofer Strichman

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 51 KB

english, 2006

8

Reduced Functional Consistency of Uninterpreted Functions

Amir Pnueli, Ofer Strichman

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 244 KB

english, 2006

9

Preface

Ofer Strichman, Armin Biere

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2007

Language:

english

File:

PDF, 92 KB

english, 2007

10

Preface: Volume 89, Issue 4

Ofer Strichman, Armin Biere

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2003

Language:

english

File:

PDF, 42 KB

english, 2003

11

No significant association between HLA antigens and classic kaposi sarcoma: Molecular analysis of 49 jewish patients

Liora Strichman-Almashanu, Sara Weltfriend, Osnat Gideoni, Rachel Friedman-Birnbaum, Shimon Pollack

Journal:

Journal of Clinical Immunology

Year:

1995

Language:

english

File:

PDF, 476 KB

english, 1995

12

A framework for Satisfiability Modulo Theories

Daniel Kroening, Ofer Strichman

Journal:

Formal Aspects of Computing

Year:

2009

Language:

english

File:

PDF, 277 KB

english, 2009

13

Inference rules for proving the equivalence of recursive procedures

Benny Godlin, Ofer Strichman

Journal:

Acta Informatica

Year:

2008

Language:

english

File:

PDF, 1.33 MB

english, 2008

14

Introductory paper

Armin Biere, Ofer Strichman

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 63 KB

english, 2005

15

Computational challenges in bounded model checking

Edmund Clarke, Daniel Kroening, Joël Ouaknine, Ofer Strichman

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2005

Language:

english

File:

PDF, 343 KB

english, 2005

16

Error explanation with distance metrics

Alex Groce, Sagar Chaki, Daniel Kroening, Ofer Strichman

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2006

Language:

english

File:

PDF, 3.72 MB

english, 2006

17

An abstraction-based decision procedure for bit-vector arithmetic

Randal E. Bryant, Daniel Kroening, Joël Ouaknine, Sanjit A. Seshia, Ofer Strichman, Bryan Brady

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2009

Language:

english

File:

PDF, 381 KB

english, 2009

18

An approach for extracting a small unsatisfiable core

Roman Gershman, Maya Koifman, Ofer Strichman

Journal:

Formal Methods in System Design

Year:

2008

Language:

english

File:

PDF, 1.08 MB

english, 2008

19

Before and after vacuity

Hana Chockler, Ofer Strichman

Journal:

Formal Methods in System Design

Year:

2009

Language:

english

File:

PDF, 480 KB

english, 2009

20

Generating Minimum Transitivity Constraints in P-time for Deciding Equality Logic

Mirron Rozanov, Ofer Strichman

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 313 KB

english, 2008

21

Accelerating Bounded Model Checking of Safety Properties

Journal:

Formal Methods in System Design

Year:

2004

Language:

english

File:

PDF, 336 KB

english, 2004

22

Reducing the size of resolution proofs in linear time

Omer Bar-Ilan, Oded Fuhrmann, Shlomo Hoory, Ohad Shacham, Ofer Strichman

Journal:

International Journal on Software Tools for Technology Transfer (STTT)

Year:

2011

Language:

english

File:

PDF, 340 KB

english, 2011

23

Regression verification: proving the equivalence of similar programs

Benny Godlin, Ofer Strichman

Journal:

Software Testing, Verification and Reliability

Year:

2012

Language:

english

File:

PDF, 1.19 MB

english, 2012

24

The Small Model Property: How Small Can It Be?

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 147 KB

english, 2002

25

Building small equality graphs for deciding equality logic with uninterpreted functions

Yoav Rodeh, Ofer Strichman

Journal:

Information and Computation

Year:

2006

Language:

english

File:

PDF, 402 KB

english, 2006

26

Underapproximation for model-checking based on universal circuits

Arie Matsliah, Ofer Strichman

Journal:

Information and Computation

Year:

2010

Language:

english

File:

PDF, 207 KB

english, 2010

27

Erratum to “The small model property: how small can it be?” [Inform. Comput. 178 (2002) 279–293]

Amir Pnueli, Yoav Rodeh, Ofer Strichman, Michael Siegel

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 44 KB

english, 2003

28

GIFtS: annotation landscape analysis with GeneCards

Arye Harel, Aron Inger, Gil Stelzer, Liora Strichman-Almashanu, Irina Dalah, Marilyn Safran, Doron Lancet

Journal:

BMC Bioinformatics

Year:

2009

Language:

english

File:

PDF, 2.04 MB

english, 2009

29

Expoldb:expression linkedpolymorphismdatabase with inbuilt tools for analysis of expression and simple repeats

Vineet K Sharma, Anu Sharma, Naveen Kumar, Mamta Khandelwal, Kiran Kumar Mandapati, Shirley Horn-Saban, Liora Strichman-Almashanu, Doron Lancet, Samir K Brahmachari, Srinivasan Ramachandran

Journal:

Year:

2006

Language:

english

File:

PDF, 681 KB

english, 2006

30

SAT-based counterexample-guided abstraction refinement

Clarke, E.M., Gupta, A., Strichman, O.

Journal:

IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems

Year:

2004

Language:

english

File:

PDF, 382 KB

english, 2004

31

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2010 Volume 6175 || Exact MinSAT Solving

Strichman, Ofer, Szeider, Stefan

Year:

2010

Language:

english

File:

PDF, 166 KB

english, 2010

32

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2010 Volume 6175 || A System for Solving Constraint Satisfaction Problems with SMT

Strichman, Ofer, Szeider, Stefan

Year:

2010

Language:

english

File:

PDF, 134 KB

english, 2010

33

Preface to the special issue “SI: Satisfiability Modulo Theories”

Strichman, Ofer, Kroening, Daniel

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 151 KB

english, 2013

34

Beyond vacuity: towards the strongest passing formula

Chockler, Hana, Gurfinkel, Arie, Strichman, Ofer

Journal:

Formal Methods in System Design

Year:

2013

Language:

english

File:

PDF, 806 KB

english, 2013

35

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - Beyond Vacuity: Towards the Strongest Passing Formula

Chockler, Hana, Gurfinkel, Arie, Strichman, Ofer

Year:

2008

Language:

english

File:

PDF, 217 KB

english, 2008

36

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Efficient MUS extraction with resolution

Nadel, Alexander, Ryvchin, Vadim, Strichman, Ofer

Year:

2013

Language:

english

File:

PDF, 239 KB

english, 2013

37

[IEEE 2009 Formal Methods in Computer-Aided Design (FMCAD) - Austin, TX, USA (2009.11.15-2009.11.18)] 2009 Formal Methods in Computer-Aided Design - Decision diagrams for linear arithmetic

Chaki, Sagar, Gurfinkel, Arie, Strichman, Ofer

Year:

2009

Language:

english

File:

PDF, 538 KB

english, 2009

38

[IEEE 2013 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR (2013.10.20-2013.10.23)] 2013 Formal Methods in Computer-Aided Design - Verifying periodic programs with priority inheritance locks

Chaki, Sagar, Gurfinkel, Arie, Strichman, Ofer

Year:

2013

Language:

english

File:

PDF, 185 KB

english, 2013

39

[IEEE 2008 Formal Methods in Computer-Aided Design (FMCAD) - Portland, OR, USA (2008.11.17-2008.11.20)] 2008 Formal Methods in Computer-Aided Design - A Theory-Based Decision Heuristic for DPLL(T)

Goldwasser, Dan, Strichman, Ofer, Fine, Shai

Year:

2008

Language:

english

File:

PDF, 247 KB

english, 2008

40

[IEEE 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign - Nice, France (2007.05.30-2007.06.2)] 2007 5th IEEE/ACM International Conference on Formal Methods and Models for Codesign (MEMOCODE 2007) - Easier and More Informative Vacuity Checks

Chockler, Hana, Strichman, Ofer

Year:

2007

Language:

english

File:

PDF, 387 KB

english, 2007

41

[Lecture Notes in Computer Science] Theory and Applications of Satisfiability Testing – SAT 2010 Volume 6175 || Automated Testing and Debugging of SAT and QBF Solvers

Strichman, Ofer, Szeider, Stefan

Year:

2010

Language:

english

File:

PDF, 207 KB

english, 2010

42

Adaptive Capacity in Israeli Social Change Nonprofits

Strichman, N., Bickel, W.E., Marshood, F.

Journal:

Nonprofit and Voluntary Sector Quarterly

Year:

2007

Language:

english

File:

PDF, 110 KB

english, 2007

43

A Genome-Wide Screen for Normally Methylated Human CpG Islands That Can Identify Novel Imprinted Genes

Strichman-Almashanu, L. Z., Lee, R. S., Onyango, P. O., Perlman, E., Flam, F., Frieman, M. B., Feinberg, A. P.

Journal:

Genome Research

Year:

2002

Language:

english

File:

PDF, 790 KB

english, 2002

44

Retroposed Copies of the HMG Genes: A Window to Genome Dynamics

Strichman-Almashanu, L. Z.

Journal:

Genome Research

Year:

2003

Language:

english

File:

PDF, 1.40 MB

english, 2003

45

[ACM Press the 12th ACM SIGSOFT twelfth international symposium - Newport Beach, CA, USA (2004.10.31-2004.11.06)] Proceedings of the 12th ACM SIGSOFT twelfth international symposium on Foundations of software engineering - SIGSOFT '04/FSE-12 - Explaining abstract counterexamples

Chaki, Sagar, Groce, Alex, Strichman, Ofer

Year:

2004

Language:

english

File:

PDF, 207 KB

english, 2004

46

A probabilistic analysis of coverage methods

Fournier, Laurent, Ziv, Avi, Kutsy, Ekaterina, Strichman, Ofer

Journal:

ACM Transactions on Design Automation of Electronic Systems

Year:

2011

Language:

english

File:

PDF, 193 KB

english, 2011

47

[ACM Press the 46th Annual Design Automation Conference - San Francisco, California (2009.07.26-2009.07.31)] Proceedings of the 46th Annual Design Automation Conference on ZZZ - DAC '09 - Regression verification

Godlin, Benny, Strichman, Ofer

Year:

2009

Language:

english

File:

PDF, 135 KB

english, 2009

48

Regression verification for multi-threaded programs (with extensions to locks and dynamic thread creation)

Chaki, Sagar, Gurfinkel, Arie, Strichman, Ofer

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 620 KB

english, 2015

49

Proving mutual termination

Elenbogen, Dima, Katz, Shmuel, Strichman, Ofer

Journal:

Formal Methods in System Design

Year:

2015

Language:

english

File:

PDF, 1.35 MB

english, 2015

50

Explaining abstract counterexamples

Chaki, Sagar, Groce, Alex, Strichman, Ofer

Journal:

ACM SIGSOFT Software Engineering Notes

Year:

2004

Language:

english

File:

PDF, 207 KB

english, 2004